Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra
نویسندگان
چکیده
منابع مشابه
Visual Representation of Formal Software Specification
Formal software specification has long been propagated as a way to increase the quality and reliability of software. However, the process of construction of a formal specification remains a hard activity for the most modelers, because they should use mathematical techniques, which those they aren’t familiar. In this paper we will see that it is easier to reason upon formal specifications if we ...
متن کاملa contrastive analysis of concord and head parameter in english and azerbaijani
این پایان نامه به بررسی و مقایسه دو موضوع مطابقه میان فعل و فاعل (از نظر شخص و مشار) و هسته عبارت در دو زبان انگلیسی و آذربایجانی می پردازد. اول رابطه دستوری مطابقه مورد بررسی قرار می گیرد. مطابقه به این معناست که فعل مفرد به همراه فاعل مفرد و فعل جمع به همراه فاعل جمع می آید. در انگلیسی تمام افعال، بجز فعل بودن (to be) از نظر شمار با فاعلشان فقط در سوم شخص مفرد و در زمان حال مطابقت نشان میدهند...
15 صفحه اولVisual Specification of Structural and Temporal Properties
The UML has become the de-facto standard in software engineering. Due to the visual nature and accessibility of its structural diagrams, it is widely accepted as the tool of choice for structural modeling. However, for specifying structural properties that go beyond cardinalities, the UML only provides a textual specification language, the OCL. For mixed structural and temporal properties, only...
متن کاملa critical discourse analysis on gender representation in the iranian english books 2, 3 and top notch 2a, 2b a critical discourse analysis perspective
هدف از انجام تحقیق حاضر، مطالعه و بررسی نقش زنان و مردان در دو مجموعه از کتابهای درسی انگلیسی در قالب تحلیل گفتمان انتقادی و همچنین، بررسی و آشکار ساختن اصول ایدوئولوژیکی مربوط به نقش زنان و مردان در این کتابها است. این دو مجموعه کتاب عبارتنداز: کتابهای انگلیسی سال دوم و سوم دبیرستانی ایران و کتابهای تاپ ناچ 2آ و 2ب. برای انجام این منظور، مدل تحلیل گفتمان انتقادی فرکلاف مورد استفاده قرار گرفته ...
15 صفحه اولSpatial and Temporal Analysis of Dusty Days in Iran
Iran is one of the world's arid regions and exposed to dust particles in the air. This is important in spatial and temporal terms as well as the affects human health. In this paper a day when due to the amount of dust particles visibility reduces to 5,000 m is considered the dusty day. In the spatial and temporal analysis of dusty days 38 synoptic stations were studied. In order to conduct data...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2009
ISSN: 1598-2866
DOI: 10.3745/kipstd.2009.16-d.3.339